Compressed Word Problems in HNN-extensions and Amalgamated Products
نویسندگان
چکیده
منابع مشابه
N ov 2 00 8 Compressed word problems in HNN - extensions and amalgamated products
It is shown that the compressed word problem for an HNNextension 〈H, t | tat = φ(a)(a ∈ A)〉 with A finite is polynomial time Turing-reducible to the compressed word problem for the base group H . An analogous result for amalgamated free products is shown as well.
متن کاملTheories of HNN-Extensions and Amalgamated Products
It is shown that the existential theory of G with rational constraints, over an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 is decidable, provided that the same problem is decidable in the base group H and that A is a finite group. The positive theory of G is decidable, provided that the existential positive theory of G is decidable and that A and φ(A) are proper subgroups of the base group H w...
متن کاملRational Subsets in HNN-Extensions and Amalgamated Products
of a group H, where A and B are isomorphic subgroups of H and φ : A → B is an isomorphism, results from adding to H a new generator t such that the conjugation of the subgroup A ≤ H by t realizes the isomorphism φ. We also say that A and B in (2) are the associated subgroups. One of the first important applications of HNN-extensions was a more transparent proof of the celebrated result of Novik...
متن کاملKnapsack in Graph Groups, HNN-Extensions and Amalgamated Products
It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of th...
متن کاملPositive theories of HNN-extensions and amalgamated free products
It is shown that the positive first-order theory of an HNN-extension G = 〈H, t; tat = φ(a)(a ∈ A)〉 can be reduced to the existential firstorder theory of G provided that A and B are proper subgroups of the base group H with A∩B finite. For an amalgamated free product G = H ∗A J , we show that the positive first-order theory of G can be reduced to the existential first-order theory of G in case ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of Computing Systems
سال: 2010
ISSN: 1432-4350,1433-0490
DOI: 10.1007/s00224-010-9295-2